Topological Semantics for Conditionals
نویسندگان
چکیده
In this paper we explore the topological semantics for conditional logic that arises from the Alexandroff equivalence between preorders and topological spaces. This clarifies the relation between the standard order semantics and premise semantics for conditionals. As an application we provide a construction of relative similarity orders between possible worlds from topologies of relevant propositions. The conditional logic over topologies is intertranslatable with the modal logic S4u.
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملA Compositional Semantics for 'If Then' Conditionals
This paper presents the first compositional semantics for if then conditionals. The semantics of each element are first examined separately. The meaning of if is modeled according to a possible worlds semantics. The particle then is analyzed as an anaphoric word that places its focused element inside the context settled by a previous element. Their meanings are subsequently combined in order to...
متن کاملA Compositional Semantics for ‘even If’ Conditionals
This paper presents the first possible world semantics for concessive conditionals (i.e., even if A, C conditionals) constructed in a compositional way. First, the meaning of if is formalized through a semantics that builds on the proposal given by Stalnaker [1968]. A major difference from Stalnaker’s approach is that irrelevant conditionals (i.e., conditionals where the antecedent and the cons...
متن کاملA Theory of Conditionals Based on Hierarchies of Situations
We present an approach to the semantics of subjunctive conditionals based on the situation semantics notion of a constraint, in which the connection between antecedent A and consequent B of a conditional ‘if A were the case, B would be’ is an informational relation between types of situations. We also argue that the information contained in a hierarchy of planning schemas as commonly used in Ar...
متن کاملRelational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases
For conditional probabilistic knowledge bases with conditionals based on propositional logic, the principle of maximum entropy (ME) is well-established, determining a unique model inductively completing the explicitly given knowledge. On the other hand, there is no general agreement on how to extend the ME principle to relational conditionals containing free variables. In this paper, we focus o...
متن کامل